JournalofLogicandComputation,2(6),687-707,1992 SetTheoryandNominalisation,PartII
نویسنده
چکیده
In this paper we shall meet the application of Scott domains to nominalisation and explain its problem of predication. We claim that it is not possible to nd a solution to such a problem within semantic domains without logic. Frege structures are more conclusive than a solution to domain equations and can be used as models for nominalisation. Hence we develop a type theory based on Frege structures and use it as a theory of nominalisation. 1 Frege structures, a formal introduction Having in part I informally introduced Frege structures, I shall here ll in all the technical details and show that Frege structures exist.
منابع مشابه
JournalofLogicandComputation,2(5),579-604,1992 SetTheoryandNominalisation,PartI
This paper argues that the basic problems of nominalisation are those of set theory. We shall therefore overview the problems of set theory, the various solutions and assess the innuence on nominalisation. We shall then discuss Aczel's Frege structures and compare them with Scott domains. Moreover, we shall set the ground for the second part which demonstrates that Frege structures are a suitab...
متن کاملPartII Number Theory
1 Division 3 1.1 Division Algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Greatest common divisor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.3 Euclidean Algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.4 Fundamental theorem of arithmetic . . . . . . . . . . . . . . . . . . . . . . . . . ....
متن کاملPartII Number Fields
1 Algebraic number fields 3 1.1 Algebraic numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Algebraic number fields . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.3 Norm and Trace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.4 Algebraic integers . . . . . . . . . . . . . . . . . . . . . . . . ....
متن کاملConcurrent inhibition of mTORC1 and mTORC2 by WYE-687 inhibits renal cell carcinoma cell growth in vitro and in vivo
Mammalian target of rapamycin (mTOR)in renal cell carcinoma (RCC) represents a valuable oncotarget for treatment. We here tested the potential anti-RCC activity by a novel mTOR kinase inhibitor WYE-687in vitro and in vivo.WYE-687 was cytotoxic and anti-proliferative to established RCC cell lines (786-O and A498) and primary human RCC cells. Yet, it was non-cytotoxic toHK-2 tubular epithelial ce...
متن کاملNeural Networks and Evolutionary Computation. PartII: Hybrid Approaches in the Neurosciences
This paper series focusses on the intersection of neural networks and evolutionary computation. It is addressed to researchers from artificial intelligence as well as
متن کامل